International Conference on Functional Programming - PDFSEARCH.IO - Document Search Engine

International Conference on Functional Programming
Results: 84

#	Item
51	Implementing Typed Intermediate Languages Zhong Shao Christopher League Stefan Monnier Yale University Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:13 Procedural programming languages Functional programming Type theory Functional languages International Conference on Functional Programming Data types Standard ML of New Jersey Torneos y Competencias ML Software engineering Computing Programming language theory
52	Bibliography [AC96] Mar´ıa-Virginia Aponte and Giuseppe Castagna. Programmation modulaire avec surcharge et liaison tardive. In Journ´ees Francophones des Langages Applicatifs. INRIA, January 1996. Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Functional languages Caml ML National Institute for Research in Computer Science and Control International Conference on Functional Programming SIGPLAN Xavier Leroy Functional programming Programming language Software engineering Computing Computer programming
53	Rastislav Bodik Computer Science 581 Soda Hall (Par Lab) University of California, Berkeley Berkeley, CA 94720–1776 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2012-10-25 11:39:40 Software engineering Programming Language Design and Implementation SIGPLAN International Conference on Functional Programming Symposium on Principles and Practice of Parallel Programming Dead code elimination Principles of Programming Languages International Conference on Architectural Support for Programming Languages and Operating Systems Profiling Computer science Association for Computing Machinery Computing
54	Curriculum Vitae Peter Michael Sewell October 25, 2014 Personal Details Name: Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-10-25 15:04:53 Software engineering Principles of Programming Languages International Conference on Functional Programming ACM SIGACT Programming Language Design and Implementation SIGPLAN POPLmark challenge Theoretical computer science International Colloquium on Automata Languages and Programming Computer science Computing Association for Computing Machinery
55	Phillip Mates Resides: Citizenship: Resume Email: Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-15 14:33:49 Science Workflow technology VisTrails Infographics Scientific Computing and Imaging Institute Visualization Android International Conference on Functional Programming Computational science Software Computing
56	William E. Byrd http://webyrd.net/ Work Merrill Engineering Building, Room[removed]S Central Campus Drive University of Utah Add to Reading List Source URL: webyrd.net Language: English - Date: 2015-04-07 19:59:59 Programming paradigms Functional languages Daniel P. Friedman Logic programming Declarative programming International Conference on Functional Programming Programming language Friedman Prolog Software engineering Computing Computer programming
57	abstract Task Oriented Programming with Purely Compositional Interactive Vector Graphics Peter Achten Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Functional languages Generic programming Haskell Literate programming International Conference on Functional Programming Domain-specific language Combinatory logic ALGOL 68 Software engineering Computing Programming language theory
58	John Gregory Morrisett Nationality: USA Phone: +[removed]Email: [removed] Web: http://www.eecs.harvard.edu/~greg Add to Reading List Source URL: www.eecs.harvard.edu Language: English - Date: 2015-01-28 11:56:50 Association for Computing Machinery Functional programming International Conference on Functional Programming SIGPLAN Principles of Programming Languages Programming Language Design and Implementation Symposium on Principles and Practice of Parallel Programming International Conference on Architectural Support for Programming Languages and Operating Systems Orc Computing Computer science Software engineering
59	Minutes of the RTA&TLCA’14 business meetings RTA BM moderator: RTA SC members present: Georg Moser (RTA SC chair) Add to Reading List Source URL: rewriting.loria.fr Language: English - Date: 2014-07-30 07:39:22 Federated Logic Conference Computer science Computing Functional programming International Conference on Functional Programming Texas Leadership Charter Academy
60	Conferences in Asia Pacific Region OCTOBER[removed]Oct 2014 12th Statistical Science Symposium Hangzhou, China http://economics.hdu.edu.cn/chinese/news. Add to Reading List Source URL: www.asiapacific-mathnews.com Language: English - Date: 2014-11-28 01:30:56 International Conference on Functional Programming Computing ACM Multimedia Association for Computing Machinery Applied mathematics